#include<stdio.h>
int main()
{
	int a,b,c;
	for(a=1;a<=9999;a++)
	{
		if(a%7==0)
		{
			c=a;
		while(a>=10)
		{
			b=a%10;
			a=a/10;
		if(b==5) 
		{
			printf("%d\n",c);
			break;
		}
		}
		if(a==5) printf("%d\n",c);
	    }
    }
	return 0;	
}
